（来源：上观新闻）
与其说这是一次👃🇾🇹大会，不🇬🇸🎣如说更💦🐢像一场🍛围绕“软件开发将🥽走向何处”的🌞集中交锋，🐖也是一场不断逼近💃答案的过程🤓。图丨相关论文（🦷来源：arXi🎫v） 相关论⛲💈文以《FM-Ag🥇ent：通过🔺基于大语言👒🏭模型的霍尔逻🐬辑推理将形式😿化方法👨💼🏍扩展至大🔜◻规模系统软件》🚓🦞（FM-A🇨🇩gent: 🐒Scaling 🚅Forma🛃🦡l Meth🔴🚎ods t🐬🥰o Large🍪🇲🇪 Sys🔚tems vi🔌🏞a LL🤵M-Bas🐚ed Hoare😍🌠-Style🕓 Rea👨🌾son🍒ing）为🔢题发表在预印🇸🇨⛪本网站 🐰arXiv[1🔏📧]🛶🇨🇨。
反映在产业链上，🌫😺下游Tok⏬en调用量的井喷🐌，直接🇹🇦带动了🥗🇸🇽上游算力需求的🇯🇴🕋爆发🚂🤙。从量产🇵🇷角度来看，智元和💴宇树排在全⛷球前列，美✉国的机器人还没🚆🌸实现规模化量产🇧🇹。行业内的其他企业🕳也在加速布📬🆑局硅光子领域，📶推动光互连技术的🌞🕳产业化落💶🌼地⏰🖤。规模上的👀🏭领先，也🌠意味着😡📕治理挑战的升级😈⭕。因此，行业里现在👅越来越少有人把它🧲👈当成「👷♀️🚊短期涨🍼🦢价」，而是直🏁🐿接定性为结构🇲🇩⚔性短缺🇮🇴👨💻。
